<?
error_reporting(E_ALL);
ini_set('display_errors','On');

include_once "Funcionario.php";
include_once "Fiscalizacion.php";
include_once "../datos/MagistradoSQL.php";

class Magistrado extends Funcionario
{
    private $arrFiscalizaciones = null;
    private $institucion = "";
    private $sql = "";
    
    public function Magistrado(){ $this->sql = new MagistradoSQL(); }
    public function setDocumento($ob){ $this->doc = $ob; }
    public function getDocumento(){ return $this->doc; }
    public function setArregloFisc($arr){ $this->arrFiscalizaciones = $arr; }
    public function getArregloFisc(){ return $this->arrFiscalizaciones; }
    public function setInstitucion($ins){ $this->institucion = $ins; }
    public function getInstitucion(){ return $this->institucion; }
        
    public function obtenerFiscalizacion(&$objFormato)
    {
        //Creamos una nueva fiscalización.
        $objFisc = new Fiscalizacion();                 //echo "<br>fis 1<br>";
        $objFisc->setObjFuncionario($this);
            
        $objFisc->crearFiscalizacionFormato($objFormato);      //echo "<br>fis 2<br>";
        unset($objFisc);                                //echo "<br>fis 3<br>";
    }
}
?>